Nuprl Definition : group_p
13,42
postcript
pdf
compound
IsGroup(
T
;
op
;
id
;
inv
) == IsMonoid(
T
;
op
;
id
) & Inverse(
T
;
op
;
id
;
inv
)
latex
Up
groups
1
Wellformedness Lemmas
group
p
wf
Definitions
P
&
Q
,
IsMonoid(
T
;
op
;
id
)
,
Inverse(
T
;
op
;
id
;
inv
)
origin